\begin{tabbing}
w\_state\_when($w$;$e$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=state\_when($e$;$\lambda$$e$.w{-}info($w$;$e$);$\lambda$$e$.w{-}pred($w$;$e$);$\lambda$$i$,$x$. w{-}s($w$; $i$; 0; $x$);$\lambda$$i$.\+
\\[0ex]1of(2of(w{-}machine($w$;$i$)));$\lambda$$e$.w{-}eval($w$; $e$))
\-
\end{tabbing}